$\forall$$A$, $B$:Type.  $A$ $\sim$ $B$ $\Rightarrow$  $B$ $\sim$ $A$